В статье предлагается задание детерминированных инициальных графов с помощью определяющей пары, первая компонента которой однозначно задает базу графа, а вторая дополняет базу до заданного графа. Предложена процедура ...

В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах выполняются закон двойного отрицания и правило преобразования разности. Приведены примеры, иллюстрирующие данные критерии.

Найдены необходимые и достаточные условия, при которых одиннадцать включений, выполняемых в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными.

В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах операция насыщения дистрибутивна относительно операций объединения и пересечения таблиц. Приведены примеры, иллюстрирующие данные критерии.

Исследована задача сохранения ключей, в том числе и простых ключей, сигнатурными операциями табличных алгебр. Показано, что операции пересечения, разности, селекции, соединения и деления таблиц сохраняют ключи и не сохраняют ...

Исследованы алгоритмы, реализующие пересечение, объединение и разность в табличных алгебрах. Предложены модификации наиболее распространенных алгоритмов, позволяющие сократить количество вычислений. На основе оценки сложности ...